typedef FrozenArray<> empty;
